Module("desugar",[Imports([(),(),(),(),()]),Rules([SDefT("show-desugared",[],[],[])]),Strategies([SDefT("desugar-all",[],[],[])]),Rules([SDefT("desugar",[],[],[]),SDefT("desugar",[],[],[])])])